Are there Unfoldable Proteins in Dimension Three?
نویسندگان
چکیده
In this paper we show the existence of three dimensional rigid, and thus unfoldable, lattice conformations. The structure described here has 461 bonds. We provide a computer assisted proof of its rigidity. The existence of rigid two dimensional structures was shown earlier, see [3]. This work answers Question 8 in [2] in the affirmative: rigid (and hence unfoldable from a straight conformation) self avoiding lattice walks exist also in dimension three. The existence of such rigid structures illustrates why protein folding problems are hard in dimension three: it may not possible to fold one conformation into another using a specific set of folding rules. 1 ar X iv :1 40 9. 33 97 v1 [ qbi o. B M ] 1 1 Se p 20 14
منابع مشابه
Unfoldable Cardinals and The GCH
Unfoldable cardinals are preserved by fast function forcing and the Laver-like preparations that fast functions support. These iterations show, by set-forcing over any model of ZFC, that any given unfoldable cardinal κ can be made indestructible by the forcing to add any number of Cohen subsets to κ. 1 Unfoldable Cardinals In introducing unfoldable cardinals last year, Andres Villaveces [Vil98]...
متن کاملOn unfoldable cardinals , ! - closed cardinals , and the beginning of the inner model hierarchy
On unfoldable cardinals, !-closed cardinals, and the beginning of the inner model hierarchy Abstract. Let be a cardinal, and let H be the class of sets of hereditary cardinality less than ; let ( ) > be the height of the smallest transitive admissible set containing every element of H . We show that a ZFC-definable notion of long unfoldability, a generalisation of weak compactness, implies in t...
متن کاملIndestructible Strong Unfoldability
Using the lottery preparation, we prove that any strongly unfoldable cardinal κ can be made indestructible by all <κ-closed κ+-preserving forcing. This degree of indestructibility, we prove, is the best possible from this hypothesis within the class of <κ-closed forcing. From a stronger hypothesis, however, we prove that the strong unfoldability of κ can be made indestructible by all <κ-closed ...
متن کاملStrongly unfoldable cardinals made indestructible
Strongly Unfoldable Cardinals Made Indestructible by Thomas A. Johnstone Advisor: Joel David Hamkins I provide indestructibility results for weakly compact, indescribable and strongly unfoldable cardinals. In order to make these large cardinals indestructible, I assume the existence of a strongly unfoldable cardinal κ, which is a hypothesis consistent with V = L. The main result shows that any ...
متن کاملThe Proper and Semi-proper Forcing Axioms for Forcing Notions That Preserve
We prove that the PFA lottery preparation of a strongly unfoldable cardinal κ under ¬0 forces PFA(א2-preserving), PFA(א3-preserving) and PFAא2 , with 2 ω = κ = א2. The method adapts to semi-proper forcing, giving SPFA(א2-preserving), SPFA(א3-preserving) and SPFAא2 from the same hypothesis. It follows by a result of Miyamoto that the existence of a strongly unfoldable cardinal is equiconsistent ...
متن کامل